Total Books: 1 - 3 /3
Automated Deduction in Geometry
The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...
Weiterlesen
Automated Deduction in Geometry
The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...
Weiterlesen
Automated Deduction in Geometry
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...
Weiterlesen
Total Books: 1 - 3 /3
